Formal Logic — synonyms, definition
1. formal logic (Noun)
2 synonyms
mathematical logic symbolic logic
1 definition
formal logic (Noun) — Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.
3 types of
logic logical system system of logic
8 types
Boolean algebra Boolean logic functional calculus fuzzy logic modal logic predicate calculus propositional calculus propositional logic